منابع مشابه
Common Knowledge Logic and Game Logic
We show the faithful embedding of common knowledge logic CKL into game logic GL, that is, CKL is embedded into GL and GL is a conservative extension of the fragment obtained by this embedding. Then many results in GL are available in CKL, and vice versa. For example, an epistemic consideration of Nash equilibrium for a game with pure strategies in GL is carried over to CKL. Another important ap...
متن کاملCommon Knowledge in a Logic of Gossips
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors studied distributed epistemic gossip protocols. These protocols use as guards formulas from a simple epistemic logic, which makes their analysis and verification substantially easier. We study here common knowledge in ...
متن کاملDeduction Chains for Logic of Common Knowledge
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system S with respect to the class of S-structures. Given a formula A, the deduction chains of A are built up by systematically decomposing A into its subformulae. In the case where A is a valid formula, the decomposition yields a (usually cut-free) proof of A in the system S. ...
متن کاملLogic and Game Theory
Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying assumptions behind certain aspects of game-theoretical reasoning. We focus on the insights of a part ...
متن کاملGame Logic for Game Theorists
Game Logic (GL), introduced in [18], is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of their game-theoretic relevance. 200...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1999
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2586493